github workflow mysql tutorial